divisibility induction